Intuitionismus (Logik und Mathematik)

Der Intuitionismus ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als Tätigkeit des exakten Denkens angesehen wird, die ihre eigenen Objekte hervorbringt und nicht voraussetzt. Wahrheit mathematischer Aussagen wird reduziert auf Konstruierbarkeit, womit der Intuitionismus als eine Art von Konstruktivismus gelten kann. Der Intuitionismus ist eine der Grundpositionen im Grundlagenstreit der Mathematik.